Higher response time moments for M/M/1 discriminatory processor sharing queues

© Copyright 2016 ICST.Obtaining response time moments in processor sharing (PS) queues is difficult due to serving of multiple jobs. Egaliatarian PS (EPS) queues are limited to one class of arriving jobs. Discriminatory PS (DPS) assigns weights to different job classes and offers more diverse modeling capabilities than EPS. It is known that response time is the representative metric for delay as specified in service level agreements (SLAs), which consider higher moments important. Hence, we build an automated numerical algorithm for calculating higher moments of response time in M/M/1-DPS queues for multiple job classes and test two different case studies

Optimizing energy-performance trade-offs in solar-powered edge devices

Power modes can be used to save energy in electronic devices but a low power level typically degrades performance. This trade-off is addressed in the so-called EP-queue model, which is a queue depth dependent M/GI/1 queue augmented with power-down and power-up phases of operation. The ability to change service times by power settings allows us to leverage a Markov Decision Process (MDP), which approach we illustrate using a simple fully solar-powered case study with finite states representing levels of battery charge and solar intensity

Variability-aware request replication for latency curtailment

Processing time variability is commonplace in distributed systems, where resources display disparate performance due to, e.g., different workload levels, background processes, and contention in virtualized environments. However, it is paramount for service providers to keep variability in response time under control in order to offer responsive services. We investigate how request replication can be used to exploit processing time variability to reduce response times, considering not only mean values but also the tail of the response time distribution. We focus on the distributed setup, where replication is achieved by running copies of requests on multiple servers that otherwise evolve independently, and waiting for the first replica to complete service. We construct models that capture the evolution of a system with replicated requests using approximate methods and observe that highly variable service times offer the best opportunities for replication ¿¿¿ reducing the response time tail in particular. Further, the effect of replication is non-uniform over the response time distribution: gains in one metric, e.g., the mean, can be at the cost of another, e.g., the tail percentiles. This is demonstrated in wide range of numerical virtual experiments. It can be seen that capturing service time variability is key to the evaluation of latency tolerance strategies and in their design

Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logic

Semi-Markov Stochastic Petri Nets (SM-SPNs) are a highlevel formalism for defining semi-Markov processes. We present an extended Continuous Stochastic Logic (eCSL) which provides an expressive way to articulate performance queries at the SM-SPN model level. eCSL supports queries involving steady-state, transient and passage time measures. We demonstrate this by formulating and answering eCSL queries on an SM-SPN model of a distributed voting system with up to ¢¤£¦ ¥ states.

Design and performance of a multicentre, randomized controlled trial of teleconsulting.

We have designed and performed a multicentre, randomized controlled trial of teleconsulting. The trial investigated the effectiveness and cost implications in rural and inner-city settings of using videoconferencing as an alternative to general practitioner referral to a hospital specialist. The participating general practitioners referred a total of 3170 patients who satisfied the entry criteria. Of these, 1040 (33%) failed to provide consent or otherwise refused to participate in the trial. Of the patients recruited to the trial, a total of 1902 (91%) completed and returned the baseline questionnaire. Although the trial was successful in recruiting sufficient patients and in obtaining high questionnaire response rates, the findings will require careful interpretation to take account of the limits which the protocol placed on the ability of general practitioners to select patients for referral

Growth differentiation factor 9: bone morphogenetic protein 15 synergism and the potential involvement of heterodimerization

LetterDavid G. Mottershead, Craig A. Harrison, Thomas D. Mueller, Peter G. Stanton, Robert B. Gilchrist and Kenneth P. McNatt

Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL